1.30/2.86	unsat
