16.48/16.57	unsat
