7.72/11.31	unsat
