241.02/247.24	unsat
