39.78/43.06	unsat
