7.39/10.54	unsat
