25.19/25.33	unsat
