15.84/17.73	unsat
