49.77/51.45	unsat
