16.27/18.02	unsat
