244.45/247.44	unsat
