1.30/1.75	unsat
