10.06/10.86	unsat
