17.56/18.73	unsat
