18.51/20.14	unsat
