16.31/16.52	unsat
