39.93/43.15	unsat
