242.87/245.69	unsat
