7.43/12.31	unsat
