16.50/18.16	unsat
