241.95/245.27	unsat
