18.51/22.54	unsat
