1.17/1.23	unsat
