25.95/26.03	unsat
