16.24/16.38	unsat
