15.67/16.18	unsat
