16.99/18.12	unsat
