49.97/51.28	unsat
