242.40/247.27	unsat
