16.06/19.57	unsat
