10.08/12.86	unsat
