23.95/25.29	unsat
