7.02/8.14	unsat
