18.08/20.86	unsat
