177.94/247.74	unsat
