16.25/18.12	unsat
