245.21/247.40	unsat
