25.17/25.21	unsat
