21.56/25.67	unsat
