20.55/23.68	unsat
