16.54/16.82	unsat
