1.79/1.86	unsat
