8.06/8.14	unsat
