49.40/49.55	unsat
