21.80/24.37	unsat
