16.06/18.93	unsat
