21.48/23.46	unsat
