23.72/28.67	unsat
