21.34/23.37	unsat
