49.01/49.28	unsat
