41.08/42.06	unsat
