25.56/25.71	unsat
