49.37/49.68	unsat
