21.87/23.68	unsat
