19.06/21.97	unsat
