21.85/23.12	unsat
