10.71/14.08	unsat
