7.87/8.14	unsat
