18.18/18.22	unsat
