8.39/11.14	unsat
