244.85/247.44	unsat
