11.83/24.26	unsat
