24.68/38.15	unsat
