7.86/10.14	unsat
