1.29/6.86	unsat
