25.56/29.96	unsat
