21.66/23.43	unsat
