48.34/49.34	unsat
