16.06/17.68	unsat
