21.74/23.56	unsat
