21.96/22.43	unsat
