4.68/8.14	unsat
