17.21/21.73	unsat
